karel_t;862;karel_w;1154;